로그인 회원가입

functional calculus

발음:
"functional calculus" 예문

국어 번역mobile phone모바일

  • phrase, =PREDICATE CALCULUS

예문

  • The thesis concerns 'functional operations' and 'functional calculus' and is developed from ideas due to Hadamard and Volterra .
    이 논문을 우려 '기능성 작전'과 '기능성 미적분학'과 아이디어 Hadamard 및 Volterra로 인한 개발되고있습니다.
  • The first order functional calculus is studied in Chapters III and IV, while Chapter V deals mainly with second order functional calculi.
    첫 순서로 장 기능을 수학 III와 IV에,에서 공부하는 동안 두 번째 순서 calculi 기능을 중심으로 제 5 장 계약.
  • The first order functional calculus is studied in Chapters III and IV, while Chapter V deals mainly with second order functional calculi.
    첫 순서로 장 기능을 수학 III와 IV에,에서 공부하는 동안 두 번째 순서 calculi 기능을 중심으로 제 5 장 계약.
  • He completed his doctoral dissertation under Hahn 's supervision in 1929 submitting a thesis proving the completeness of the first order functional calculus.
    그는 한이 '은 1929 년 논문 기능성 미적분학 첫 번째 명령의 완전성을 증명 제출 감독들 속에서 그의 박사 학위 논문 완성.
  • Her thesis, presented in 1950, was on algebra and logic Algebraic treatment of the functional calculus of Lewis and Heyting and these topics would be the main areas of her research throughout her life.
    그녀의 논문을, 1950 년 발표, 수학과 논리에 루이스와 Heyting 이러한 주제의 기능 Algebraic 미적분학의 치료를 그녀의 전 생애에 걸쳐 그녀의 연구의 주요 분야있을 것이라고했다.
  • The subject matter is more or less classical, namely, the propositional algebra and the functional calculus of first order, to which is added a chapter summarizing without proofs certain features of functional calculi of higher order.
    주제에 더 많거나 적은, 즉, propositional 대수학과 첫 번째 명령의 기능을 계산해 추가됩니다 어느 챕터를 교정 높은 순서의 기능 calculi의 특정 기능이없는 클래식 요약입니다.
  • The subject matter is more or less classical, namely, the propositional algebra and the functional calculus of first order, to which is added a chapter summarizing without proofs certain features of functional calculi of higher order.
    주제에 더 많거나 적은, 즉, propositional 대수학과 첫 번째 명령의 기능을 계산해 추가됩니다 어느 챕터를 교정 높은 순서의 기능 calculi의 특정 기능이없는 클래식 요약입니다.

영어 뜻

    명사
  • a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
    유의어: predicate calculus,

영어→한국어 한국어→영어